Planning under Resource Constraints

نویسنده

  • Jana Koehler
چکیده

This paper outlines the basic principles underlying reasoning about resources in IPP, which is a classical planner based on planning graphs originally introduced with the graphplan system. The main idea is to deal with resources in a strictly action-centered way, i.e., one speciies how each action consumes or produces resources, but no explicit temporal model is used. This avoids the computational problems of solving general constraint satisfaction problems by using instead interval arithmetics and propagation of resource requirements over time steps in the planning graph. 1 Actions that provide, produce, and consume Resources The starting point for the language extension is the ADL subset that is available in IPP 3.0 7]. It ooers universally quantiied and conditional eeects, atomic negation, equality as well as quantiied and conditional goals. To reason about resources, an action description is extended in the following way: 1. Following the \ordinary preconditions" (which are logical facts) resource requirements can be speciied. 2. EEect descriptions are extended to specify which of the resource variables is provided, produced or consumed by the action. 3. Database query schemata allow for a compact representation of resource requirements and resource eeects. As an example, consider the following two actions that are part of our version of the airplane example used by the ZENO planner 9]. y(?x ?y:airport) :pre plane-at(?x) ($gas distance(?x ?y)/3) :eff plane-at(?y) not plane-at(?x); ALL ?p:passenger boarded(?p) => at(?p ?y) not at(?p ?x); $gas-= distance(?x ?y)/3; $time += distance(?x ?y) * (3/20). The action y speciies what happens when an airplane ies from airport x to airport y. As a precondition it needs to be at airport x and as a resource requirement there must be enough gas in the tank to y the distance between the two airports speciied with $gas distance(?x ?y) / 3. We allow the distinguished binary predicates =; ; , which mean that the current amount of the resource variable $gas speciied as the rst argument must be either equal, lower-or-equal, or higher-or-equal the arithmetic expression following as the second argument. An arithmetic expression can contain a database query schema such as distance(?x ?y) together with an arithmetic term built out of the four basic mathematical operations and real numbers. When the action gets instantiated, the query schema is instantiated into a database query such as distance(Basel Paris) for which the speciic value is found in the associated database. Together with the arithmetic term …

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A novel mathematical model for a hybrid flow shop scheduling problem under buffer and resource limitations-A case study

Scheduling problems play a big role in manufacturing and planning the production for increasing the production efficiency and assigning the resources to operations. Furthermore, in many manufacturing systems there is a physical space between stages that called intermediate buffers. In this study, a model is proposed for minimizing the makespan of a hybrid flow shop scheduling problem with inter...

متن کامل

A stochastic model for operating room planning under uncertainty and equipment capacity constraints

In the present economic context, the operating theater is considered as a critical activity in health care management. This paper describes a model for operating room (OR) planning under constraint of a unique equipment. At first level we schedule elective surgeries under the uncertainty of using a unique equipment. At the second level we consider emergency surgeries, and at the third le...

متن کامل

Preallocation and Planning under Stochastic Resource Constraints

Resource constraints frequently complicate multi-agent planning problems. Existing algorithms for resource-constrained, multi-agent planning problems rely on the assumption that the constraints are deterministic. However, frequently resource constraints are themselves subject to uncertainty from external influences. Uncertainty about constraints is especially challenging when agents must execut...

متن کامل

A Multi Objective Optimization Approach for Resources Procurement of Bank

Calculating total cast of bank resources procurement methods which include current -free loan deposit, saving interest-free loan deposit, regular and net short-term investment deposit, long-term investment deposit and surety bond cash deposit and presenting their optimal integration require precise scientific studies. Hence, this study is an attempt to know which methods are the best optimal in...

متن کامل

SINGLE MACHINE DUE DATE ASSIGNMENT SCHEDULING PROBLEM WITH PRECEDENCE CONSTRAINTS AND CONTROLLABLE PROCESSING TIMES IN FUZZY ENVIRONMENT

In this paper, a due date assignment scheduling problem with precedence constraints and controllable processing times in uncertain environment is investigated, in which the basic processing time of each job is assumed to be the symmetric trapezoidal fuzzy number, and the linear resource consumption function is used.The objective is to minimize the crisp possibilistic mean (or expected) value of...

متن کامل

Software release planning under soft resource and dependency constraints

The goal of incremental software release planning is to assign planning items to future releases so that value is maximized while various resource, technical and other constraints are satisfied. We propose a new approach to this problem called soft-EVOLVE II, in which a project is first modeled using a highly-general model with a nonlinear objective function, and then a set of high-value releas...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998